Extending Datatype Support in Web Ontology Reasoning
نویسندگان
چکیده
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of crucial importance to the development of the Semantic Web, where their role is to provide formal underpinnings and automated reasoning services for Semantic Web ontology languages such as DAML+OIL. In this paper, we show how the description logic SHOQ(D), which has been designed to provide such services, can be extended with n-ary datatype predicates and qualified number restrictions with n-ary datatype predicates, to give SHOQ(Dn), and we present an algorithm for deciding the satisfiability of SHOQ(Dn) concepts, along with a proof of its soundness and completeness. The work is motivated by the requirement for n-ary datatype predicates and qualified number restrictions with n-ary predicates in relation to “real world” properties in semantic Web ontologies and applications.
منابع مشابه
Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies
It was mentioned on multiple occasions that datatype expressions are a necessary component of any production quality knowledge base and will surely play a major role in the upcoming Semantic Web. This paper briefly summarizes the work on improving the support for tractable reasoning with datatype expressions in ELK a highly efficient reasoner. Tests have shown an exceptional speed of ontology c...
متن کاملOWL-E: Extending OWL with Expressive Datatype Expressions
Although OWL, an emerged standard of expressing ontologies in the Semantic Web, is a very expressive ontology language, the OWL datatyping formalism is far not expressive enough to generally represent user-defined datatypes (such as XML Schema derived datatypes), not to mention user-defined datatype predicates (such as > for non-negative integers) in Semantic Web ontologies and applications. In...
متن کاملExtending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?")
The OWL [2] datatype formalism (or simply OWL datatyping) presents some new requirements for DL reasoning services, in terms of semantics (to allow the use of so-called 'un-supported' datatypes), expressive power (to support enumerated datatypes) and datatype construction mechanism (both datatypes and datatype expressions). On the other hand, OWL datatyping is expected to be extended to include...
متن کاملWeb Ontology Reasoning with Datatype Groups
When providing reasoning services for ontology languages such as DAML+OIL and OWL, it is necessary for description logics to deal with “concrete” datatypes (strings, integers, etc.) as well as “abstract” concepts and relationships. In this paper, we present a new approach, the datatype group approach, to integrating DLs with multiple datatypes. We discuss the advantages of such approach over th...
متن کاملReasoning in the SHOQ(Dn) Description Logic
Description Logics (DLs) are of crucial importance to the development of the Semantic Web, where their role is to provide formal underpinnings and automated reasoning services for Semantic Web ontology languages such as DAML+OIL. In this paper we show how the description logic SHOQ(D), which has been designed to provide such services, can be extended with n-ary datatype predicates as well as da...
متن کامل